Lightweight validation of natural language requirements
نویسندگان
چکیده
منابع مشابه
Lightweight validation of natural language requirements
In this paper, we report on our experiences of using lightweight formal methods for the partial validation of natural language requirements documents. We describe our approach to checking properties of models obtained by shallow parsing of natural language requirements, and apply it to a case study based on part of a NASA specification of the Node Control Software on the International Space Sta...
متن کاملLightweight Validation of Natural Language Requirements: A Case Study
In this paper, we report on our experiences of using lightweight formal methods for the partial validation of natural language (NL) requirements documents. We describe a case study based on part of NASA’s specification of the Node Control Software of the International Space Station, and apply to it our method of checking properties on models obtained by shallow parsing of natural language requi...
متن کاملRequirements validation via automated natural language parsing
object Oriented Analysis (OOA) has become a popular method for analyzing system requirements. Unformnately however, none of the current versions of OOA have included a validation technique tailorad to the object oriented approach. Most, instead, merely recommend document reviews without specifying what kinds of pro&xns to look for. This paper explores the question by applying a natural language...
متن کاملLightweight Behavior-Based Language for Requirements Modeling
Whether or not a software system satisfies the anticipated user requirements is ultimately determined by the behaviors of the software. So it is necessary and valuable to research requirements modeling language and technique from the perspective of behavior. This paper presents a lightweight behavior based requirements modeling language BDL with formal syntax and semantics, and a general-purpos...
متن کاملProcessing Natural Language Requirements
The importance of requirements, which in practice often means natural language requirements, for a successful software project cannot be underestimated. Although requirement analysis has been traditionally reserved to the experience of professionals, there is no reason not to use various automatic techniques to the same end. In this paper we present Circe, a Web-based environment for aiding in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software: Practice and Experience
سال: 2002
ISSN: 0038-0644,1097-024X
DOI: 10.1002/spe.430